Merge branch 'paned-no-grab' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 18 Mar 2019 11:50:42 +0000 (11:50 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 18 Mar 2019 11:50:42 +0000 (11:50 +0000)
commitf7e328e5f7635e8b17c964e03ae0e12ea658e89e
treeb679c862a070bc2b185ea3724745f9feaf6e982d
parentb40743121b0cd3fd44e93c74053787566e2564f4
parent1196380f2857381df95dfdd900a8caa4bf48c8ac
Merge branch 'paned-no-grab' into 'master'

paned: Don't use a grab

See merge request GNOME/gtk!644